; * doc/misc/ert.texi (erts files): Improve indexing.
authorEli Zaretskii <eliz@gnu.org>
Sat, 3 May 2025 07:34:43 +0000 (10:34 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 3 May 2025 07:34:43 +0000 (10:34 +0300)
commit1f998d11a585a9915cc6e8b67050dc1bb9191107
treef9818f6bbce9ca6202a047485dc920b64a7c8d5e
parent52183c9596cc4d346c872ad81ecbcf695e636f0b
; * doc/misc/ert.texi (erts files): Improve indexing.
doc/misc/ert.texi